bool M is MSSubsetFamily of M ;
hence ex b₁ being MSSubsetFamily of M st
( b₁ is V8() & b₁ is V39() ) ; :: thesis: verum