عدد اول p مفروض است.ثابت کتید x,y طبیعی وجود دارند به طوری که : باقیمانده x^2 + y^2 بر عدد اول pبرابر با 3 شود.