518 = 2 * 259 ;
then 2 divides 518 ;
hence not 518 is prime ; :: thesis: verum