高さ方向をどうにかできれば帰納法っぽくいけると踏んだんだけども