theorem Th21: :: CONLAT_2:21

for C being FormalContext holds DualHomomorphism C is bijective