717 = 3 * 239 ;
then 3 divides 717 ;
hence not 717 is prime ; :: thesis: verum