set p = <*> (bool X);
<*> (bool X) is disjoint_valued ;
hence not for b₁ being FinSequence of bool X holds b₁ is disjoint_valued ; :: thesis: verum