＞たとえば前の証明の(x-1)=3だと「実数解が無限個ある」と「それらが全ての実数解である」
ことが示されていない

(x-1)=3だと、x=4なので、yは無理数となります。