どうして同値な2つの等式から非自明な第3の等式が導かれるのか。
普通、同値な2式を互いに代入しあえば、0=0となり、無に帰するというのに。