Không mất tổng quát giả sử đó là a,b⇒a−b⋮3

⇒(b−a)(c−a)(d−a)(d−c)(d−b)(c−b)⋮3

Mặt khác:

Trong 4 số a,b,c,d

Giả sử tồn tại hai số có cùng số dư khi chia cho 4 là a,b

⇒a−b⋮4⇒(b−a)(c−a)(d−a)(d−c)(d−b)(c−b)⋮4

Nếu a,b,c,d không có số nào có cùng số dư khi chia cho 4. Khi đó giả sử a,b,c,d có số dư khi chia cho 4 lần lượt là 0,1,2,3

⇒c−a⋮2;d−b⋮2

⇒(b−a)(c−a)(d−a)(d−c)(d−b)(c−b)⋮4

Như vậy, tích đã cho vừa chia hết cho 3 vừa chia hết cho 4. Do đó no cũng chia hết cho 12

Ta có đpcm,