886 = 2 * 443 ;
then 2 divides 886 ;
hence not 886 is prime ; :: thesis: verum