517 = 11 * 47 ;
then 11 divides 517 ;
hence not 517 is prime ; :: thesis: verum