theorem Th39: :: WAYBEL_1:39

for L being non empty Poset
for f being Function of L,L st f is kernel holds
[(corestr f),(inclusion f)] is Galois