515 = 5 * 103 ;
then 5 divides 515 ;
hence not 515 is prime ; :: thesis: verum