>>314
それはそうだが途切れずに証明できる問題はあまりないのでは?