70 = 2 * 35 ;
then 2 divides 70 ;
hence not 70 is prime ; :: thesis: verum