Problem

Source: 2022 Korea Winter Program Practice Test

Tags: number theory, Diophantine equation



Prove that equation $y^2=x^3+7$ doesn't have any solution on integers.