1527 = 3 * 509 ;
then 3 divides 1527 ;
hence not 1527 is prime ; :: thesis: verum