[{},{}] is surreal ;
hence ex b₁ being set st b₁ is surreal ; :: thesis: verum