309 = 3 * 103 ;
then 3 divides 309 ;
hence not 309 is prime ; :: thesis: verum