822 = 2 * 411 ;
then 2 divides 822 ;
hence not 822 is prime ; :: thesis: verum