一次変換後の全単射な式はどう変形しても同値なままなんですか?

(>>542回答�A→�Bのように)