副島真が解いた問題は、結局、完全帰納法だったが、バッタが着地することに関して、完全帰納法の　ｎ＜ｋの仮定のつながりのなんかを４つのClaimでやるというような 　　こ...