Now, we establish the lemma by induction on k. The lemma is trivially true for k = 1, and by Lemma 1 the lemma is true for k = 2. Thus we make the inductive assumption that (7) = m (mod p3) for m = 1,2, . . . . k + 1 where k 2 1. We then consider
ตอนนี้ เราสร้างหน่วยการการเหนี่ยวนำบน k หน่วยการจะ triviallyจริงสำหรับ k = 1 และ 1 หน่วยการ หน่วยการเป็นจริงสำหรับ k = 2 ดังนั้น เราทำให้สมมติฐานแบบเหนี่ยวนำที่ (7) = m (mod p3) สำหรับ m = 1, 2, ... k + 1ที่ k 2 1 เราพิจารณาแล้ว
ตอนนี้เราสร้างแทรกโดยอุปนัยบน k บทแทรกนิดเป็น จริงสำหรับ K = 1 และบทแทรก 1 แทรกเป็นจริงสำหรับ K = 2 ดังนั้นเราให้ สมมติฐานอุปนัยที่ (7) = m (P3 mod) สำหรับ M = 1,2 . . . K + 1 ที่ K 2 1. เราแล้วพิจารณา