851 = 23 * 37 ;
then 23 divides 851 ;
hence not 851 is prime ; :: thesis: verum