Любое натуральное число, не кратное трем, при делении на 3 дает остаток 1 или 2.
Пусть первое число \(n = 3k + 1\) (где \(k ≥ 0\) - целое число, если \(n\) натуральное, то \(k ≥ 0\); если \(n ≥ 1\), то \(k ≥ 0\)).
Тогда второе число, не кратное трем, может быть \(n+1 = 3k+2\) или \(n+2 = 3k+3\) (кратное 3) или \(n+3 = 3k+4\) (кратное 3).
Следовательно, два последовательных натуральных числа, не кратных трем, могут быть в виде \(3k+1\) и \(3k+2\) или \(3k+2\) и \(3k+4\) (что эквивалентно \(3(k+1)+1\)).