1417 = 13 * 109 ;
then 13 divides 1417 ;
hence not 1417 is prime ; :: thesis: verum