>>750
え?数式証明の話してるんだが・・・