>>590
解を限定しているなら証明じゃないな

>偽りの命題ではなく解を限定しているだけだ