(3 |^ 561) - 3 = 3 * ((3 |^ 560) - 1) by Lm1137;
hence 3 divides (3 |^ 561) - 3 ; :: thesis: verum