theorem Th56: :: WAYBEL_2:56

for H being non empty complete Poset holds
( H is Heyting iff ( H is meet-continuous & H is distributive ) )