vì a>3 nên a có dạng a=3k+1 hoặc a=3k+2
với a=3k+1 thì a^2-1=(a+1)(a-1)=(3k+2)3k chia hết cho 3
với a=3k+2 thì a^2-1=(a+1)(a-1)=(3k+3)(3k+1) chia hết cho 3
vậy với mọi số nguyên tố a>3 thì a^2-1 chia hết cho 3 (1)
mặt khác cũng vì a>3 nên a là số lẻ =>a+1,a-1 là 2 số chẵn liên tiếp
=>trong hai sô a+1,a-1 tồn tại một số là bội của 4
=>a^2-1 chia hết cho 8 (2)
từ (1) và (2) => a^2-1 chia hết cho 24 với mọi số nguyên tố a>3
=> đpcm