>>669
そんな定理あるの?