for F being finite set
for A being non empty FinSequence of bool F st A is Hall holds
A is non-empty