>>513

数学の証明は
恒真命題の証明だ