1519 = 7 * 217 ;
then 7 divides 1519 ;
hence not 1519 is prime ; :: thesis: verum