341 = 11 * 31 ;
hence 341 divides (2 |^ 341) - 2 by PEPIN:4, INT_2:30, NAT_4:27, NUMERAL2:24, NUMBER02:20, NUMBER02:21; :: thesis: verum