500 = 2 * 250 ;
then 2 divides 500 ;
hence not 500 is prime ; :: thesis: verum