872 = 2 * 436 ;
then 2 divides 872 ;
hence not 872 is prime ; :: thesis: verum