For some d, if Q(d) is Euclidean field, arithmetical fundamental theorem is carried out in the corresponding Euclid domain, which can be used to prove that this is no integer solution for the indeterminate equation x2+7=y3.
张静.关于不定方程x2[KG-*2]+7=y3[J].重庆工商大学学报(自然科学版),2015,32(7):62-63 ZHANG Jing. On the Indeterminate Equation x2+7=y3[J]. Journal of Chongqing Technology and Business University(Natural Science Edition),2015,32(7):62-63