>>766
で、>>533のソースはまだ?
証明されてるなら論文とか出てるよね