529 = 23 * 23 ;
then 23 divides 529 ;
hence not 529 is prime ; :: thesis: verum