数学的帰納法が成り立つことを証明せずに数学的帰納法を教える教師は解雇した方が良い