set A = the Subset of U;
{ the Subset of U} is IntervalSet of U by Th10;
hence not for b₁ being IntervalSet of U holds b₁ is empty ; :: thesis: verum