「ピタゴラスの定理」の完全証明って、何行くらいになるの?