532 = 2 * 266 ;
then 2 divides 532 ;
hence not 532 is prime ; :: thesis: verum