558 = 2 * 279 ;
then 2 divides 558 ;
hence not 558 is prime ; :: thesis: verum