856 = 2 * 428 ;
then 2 divides 856 ;
hence not 856 is prime ; :: thesis: verum