>>276 呼んだよ？　数学が正しい事を自動で証明して見よ だって。