1507 = 11 * 137 ;
then 11 divides 1507 ;
hence not 1507 is prime ; :: thesis: verum