542 = 2 * 271 ;
then 2 divides 542 ;
hence not 542 is prime ; :: thesis: verum