1529 = 11 * 139 ;
then 11 divides 1529 ;
hence not 1529 is prime ; :: thesis: verum