theorem Th33: :: ARMSTRNG:33

for X being set
for B being Subset-Family of X
for F being Dependency-set of X holds X deps_encl_by B is full_family