539 = 7 * 77 ;
then 7 divides 539 ;
hence not 539 is prime ; :: thesis: verum