>>141
>要するに各レベルに応じてやればよいだけ。
ちょっと待ってくれ
それはつまり結局は厳密な証明は出来ないという事なのか?