559 = 13 * 43 ;
then 13 divides 559 ;
hence not 559 is prime ; :: thesis: verum