888 = 2 * 444 ;
then 2 divides 888 ;
hence not 888 is prime ; :: thesis: verum