1309 = 7 * 187 ;
then 7 divides 1309 ;
hence not 1309 is prime ; :: thesis: verum