theorem :: NUMBER04:61

for n being Nat st n <= 1105 & n is composite & n divides (2 |^ n) - 2 & n divides (3 |^ n) - 3 holds
n in {561,1105}