158 = 2 * 79 ;
then 2 divides 158 ;
hence not 158 is prime ; :: thesis: verum