420 = 2 * 210 ;
then 2 divides 420 ;
hence not 420 is prime ; :: thesis: verum