548 = 2 * 274 ;
then 2 divides 548 ;
hence not 548 is prime ; :: thesis: verum