52 = 2 * 26 ;
then 2 divides 52 ;
hence not 52 is prime ; :: thesis: verum