534 = 2 * 267 ;
then 2 divides 534 ;
hence not 534 is prime ; :: thesis: verum