611 = 13 * 47 ;
then 13 divides 611 ;
hence not 611 is prime ; :: thesis: verum