{} is Event of Si by Th10;
hence ex b₁ being Event of Si st b₁ is empty ; :: thesis: verum