>>741
ありがとうございます。
しかし、yが正でなければ、同値性は崩れてしまいますから悩んでいます。