156 = 2 * 78 ;
then 2 divides 156 ;
hence not 156 is prime ; :: thesis: verum