A1: 1105 = (5 * 13) * 17 ;
5,13,17 are_mutually_coprime by PEPIN:59, PEPIN:60, NAT_4:28, INT_2:30;
hence 1105 divides (3 |^ 1105) - 3 by A1, Th57, Th58, Th59, Th12; :: thesis: verum