たぶん結論は正しい

そのままで証明が成立するかはあやしい

ことは多々ある