1 <> 0 ;
hence not for b₁ being rational number holds b₁ is empty ; :: thesis: verum