519 = 3 * 173 ;
then 3 divides 519 ;
hence not 519 is prime ; :: thesis: verum