546 = 2 * 273 ;
then 2 divides 546 ;
hence not 546 is prime ; :: thesis: verum