>>669
結局、定理のステートメントを書けないってことでいいんだな