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