>>774
同値であることが示されてないように思えますが
まず同値ってわかります?