>>562
なくても同値にはなりますが、同値変形にはならないのです
ここでいう同値変形とは、どんな時でも機械的にある変形をすれば同値になるというような変形です