645 = (3 * 5) * 43 ;
hence not 645 divides (3 |^ 645) - 3 by Th55, NEWTON03:11; :: thesis: verum