1526 = 2 * 763 ;
then 2 divides 1526 ;
hence not 1526 is prime ; :: thesis: verum