>>515 日高
> >513
> なぜ(A)だけ自然数解を持たないと言い切れるのですか?
>
> 証明済だからです。

だれがいつ証明したんですか?