まだやってんのか
数学的証明の正当性なんて論理式の変形を省略せずに書けば機械でも検証できるだろ