は正の整数解を持つと予想した。