876 = 2 * 438 ;
then 2 divides 876 ;
hence not 876 is prime ; :: thesis: verum