1717 = 17 * 101 ;
then 17 divides 1717 ;
hence not 1717 is prime ; :: thesis: verum