( 2 is even & not 2 is zero ) ;
hence not for b₁ being even Nat holds b₁ is zero ; :: thesis: verum