>665
a=1では十分でない場合がある。
a≠1の場合にa=1では存在しない,または見つけられない解が見つかる。

はい。そのとおりです。