theorem Th23: :: ARMSTRNG:23

for R being DB-Rel holds Dependency-str R is full_family