45 = 3 * 15 ;
then 3 divides 45 ;
hence not 45 is prime ; :: thesis: verum