>>559
そもそも件の証明を理解した人間が証明したとする定理のステートメントを書けばいいだろ
君たちはいかなるステートメントの定理を証明しようとしてるのか理解せずに何かが証明できたとか言って喜んでるの？