10 = 2 * 5 ;
then 2 divides 10 ;
hence not 10 is prime ; :: thesis: verum