厳密な証明って、力づくで相手を納得させる
方便に過ぎない。数学的アイデアに支えられた
数学的内容が豊かな場合に限るけど。