56 = 2 * 28 ;
then 2 divides 56 ;
hence not 56 is prime ; :: thesis: verum