845 = 5 * 169 ;
then 5 divides 845 ;
hence not 845 is prime ; :: thesis: verum