Case 2: Suppose x ≥ 1. Now we have (p + 1)y ≡ 0(mod 4) and z2 ≡ 1(mod 4), which implies that px ≡ 1(mod 4). Since p ≡ 3(mod 4), x must be even, i.e., x = 2k for some integer k ≥ 1. Hence we have
กรณีที่ 2 สมมติว่า x ≥ 1 ตอนนี้เราได้ ( P ) Y ≡ 0 ( mod 4 ) และ≡กขึ้น 1 ( mod 4 ) ซึ่งหมายถึง PX ≡ 1 ( mod 4 ) เนื่องจาก P ≡ 3 ( mod 4 ) x ต้อง แม้คือ x = 2K สำหรับบางจำนวนเต็ม k ≥ 1 เราจึงมี