ГЖО олимпиада по математике 2003 года за 11 класс | Казахстанские олимпиады

Докажите, что уравнение ${{y}^{2}}={{x}^{3}}+7$ не имеет целых корней.