597 = 3 * 199 ;
then 3 divides 597 ;
hence not 597 is prime ; :: thesis: verum