theorem Th11: :: ARMSTRNG:11

for X being set
for P, Q being Dependency of X st P <= Q & Q <= P holds
P = Q