①　かつ　②　⇔　①－②　かつ　①　⇔　①－②　かつ　②
つまり2式の差をとった場合、差をとる前のどちらかの式も満たさないと同値とはいえない。