814 = 2 * 407 ;
then 2 divides 814 ;
hence not 814 is prime ; :: thesis: verum