>>68
>>69
ん?
具体的な数xがあれば、その数はax+b=cx+dを満たすという命題を展開してきたなのに、
xが任意にとれるようにa=c,b=dとかとっちゃダメでしょ

a≠cでも矛盾が生じるのを示さないと、ax=b=cx+dを満たすxが存在しないことにはならないでしょ