589 = 19 * 31 ;
then 19 divides 589 ;
hence not 589 is prime ; :: thesis: verum