not <i> is real by COMPLEX1:18;
hence not for b₁ being Complex holds b₁ is real ; :: thesis: verum