>>710
つまり、x=なんとか,y=かんとか　(まだ計算していない。)
ならば与式はなりたつ。よって十分ってことですか？