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