>>22
> (3)を満たすが(3)から導いた式を満たさない答えは、
> (3)から導いた式を満たす答えと、同じ性質となります。

同じ性質とはなんですか？
同じ性質であるという証明が>>42のどこにもないので
証明は間違っていますが、それはそれとして、

例えば
{ 3=(2x+1)
{ 5=(y+3)
を満たす(x,y)=(1,2)と満たさない(x,y)=(2,0)はどこがどう同じなのですか？
(x,y)=(1,2)と(x,y)=(7,-2)はどこがどう同じなのですか？
(x,y)=(1,2)と(x,y)=(0,12)はどこがどう同じなのですか？

{ 3=(2x+1)
{ 5=(y+3)
この式から、(x,y)=(2,0)が元の式を満たすことをどうやって調べるのですか？
(x,y)=(7,-2)が元の式を満たすことをどうやって調べるのですか？
(x,y)=(0,12)が元の式を満たすことをどうやって調べるのですか？