345 = 3 * 115 ;
then 3 divides 345 ;
hence not 345 is prime ; :: thesis: verum