671 = 11 * 61 ;
then 11 divides 671 ;
hence not 671 is prime ; :: thesis: verum