871 = 13 * 67 ;
then 13 divides 871 ;
hence not 871 is prime ; :: thesis: verum