516 = 2 * 258 ;
then 2 divides 516 ;
hence not 516 is prime ; :: thesis: verum