>>74
>定義を変更したら定理が成立しなくなるのは自明

とまでは言えない気がする

条件を弱めても成立する定理は存在するから