+ Do n không chia hết cho 3 => 4n không chia hết cho 3; 3 chia hết cho 3 => 4n + 3 không chia hết cho 3 => (4n + 3)2 không chia hết cho 3
=> (4n + 3)2 chia 3 dư 1 (1)
+ Do 4n + 3 lẻ => (4n + 3)2 lẻ => (4n + 3)2 chia 8 dư 1 (2)
Từ (1) và (2); do (3;8)=1 => (4n + 3)2 chia 24 dư 1
Mà 25 chia 24 dư 1
=> (4n + 3)2 - 25 chia hết cho 24 ( đpcm)