802 = 2 * 401 ;
then 2 divides 802 ;
hence not 802 is prime ; :: thesis: verum