1317 = 3 * 439 ;
then 3 divides 1317 ;
hence not 1317 is prime ; :: thesis: verum