theorem Th38: :: ARMSTRNG:38

for X being non empty finite set
for F being Dependency-set of X holds Dependency-closure F = X deps_encl_by (enclosure_of F)