>313
>(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。

>て、それからどうなります？
まだ証明されていないです。

私の１の証明は、(4)の解を使っています。