a,b \(\notin B\left(3\right)\)nhưng chia 3 có cùng số dư nên số dư là 1 hoặc 2 .Do đó, (a ; b) = (3x + 1 ; 3y + 1) ; (3x + 2 ; 3y + 2) (x,y \(\in Z\))
=> ab - 1 = (3x + 1)(3y + 1) = 9xy + 3x + 3y + 1 - 1 = 3.(3xy + x + y) chia hết cho 3
hoặc ab - 1 = (3x + 2)(3y + 2) - 1 = 9xy + 6x + 6y + 4 - 1 = 9xy + 6x + 6y + 3 = 3.(3xy + 2x + 2y + 1) chia hết cho 3
Vậy a,b nguyên khi chia 3 có cùng số dư khác 0 thì ab - 1 chia hết cho 3