60 = 2 * 30 ;
then 2 divides 60 ;
hence not 60 is prime ; :: thesis: verum