theorem :: NUMBER04:54

561 divides (3 |^ 561) - 3