theorem Th52: :: NUMBER04:52

11 divides (3 |^ 561) - 3