51 = 3 * 17 ;
then 3 divides 51 ;
hence not 51 is prime ; :: thesis: verum