x=0 でも成立つのに、わざわざ「ｘ≠0 なる任意の実数xに対して」と言うところがキモ。
緩めても他の解が出てくるわけぢゃないし。