533 = 13 * 41 ;
then 13 divides 533 ;
hence not 533 is prime ; :: thesis: verum