A = (a-b)(a-c)(a-d)(b-c)(b-d)(c-a).
Một số nguyên khi chia cho 3 chỉ có số dư 0, 1, 2 nên theo nguyên lí Dirichle trong a, b, c, d có ít nhất hai số đồng dư khi chia cho 3, tức là tồn tại ít nhất một thừa số của tích A chia hết cho 3, hay A ⋮3
Một số nguyên khi chia cho 2 chỉ có thể có số dư 0, 1 nên theo nguyên lí Dirichle trong a,b, c, d có ít nhất hai số đồng dư khi chia cho 2.
TH1: có 2 số đồng dư khi chia cho 2 thì hai số còn lại cũng đồng dư khi chia cho 2, tức là tồn tại hai thừa số của A chia hết cho 2 hay A ⋮4
TH2: có 3 số đồng dư khi chia cho 2 thì tồn tại ba thừa số của A chia hết cho 2 hay A ⋮8→A ⋮4
Vậy A ⋮4,A ⋮3→A ⋮(4;3)→A ⋮12