theorem Th15: :: CONLAT_2:15

for L being complete Lattice holds ConceptLattice (Context L),L are_isomorphic