{{}} is Chain of W by Th20;
hence not for b₁ being Chain of W holds b₁ is empty ; :: thesis: verum