514 = 2 * 257 ;
then 2 divides 514 ;
hence not 514 is prime ; :: thesis: verum