1 is positive ;
hence ex b₁ being Rational st b₁ is positive ; :: thesis: verum