theorem :: CONLAT_2:22

for C being FormalContext holds ConceptLattice (C .:),(ConceptLattice C) .: are_isomorphic