Suppose m and n are [particular but arbitrarily chosen] even integers. [We must show that m + n is even.] By definition of even, m = 2r and n = 2s for some integers r and s. Then
สมมติว่า m และ n มี [เฉพาะ แต่ท่านโดย] แม้จำนวนเต็ม [เราต้องแสดงให้ m + n เป็นเลขคู่] จากคำนิยามของแม้ m = 2r และ n = 2s สำหรับบาง r เป็นจำนวนเต็มและ s ได้แล้ว
สมมติเมตรและ n เป็น [โดยเฉพาะอย่างยิ่ง แต่ได้รับการแต่งตั้งโดยพล] แม้จำนวนเต็ม [เราต้องแสดงให้เห็นว่า m + n คือแม้.] ตามคำนิยามของแม้ m = 2r และ n = 2s สำหรับจำนวนเต็มบาง r และ s จากนั้น