>>290
それは予想の話、命題は既に真であることわかっている定理の簡単な奴