もともと数学的帰納法でもないんじゃね?