theorem Th66: :: WAYBEL_1:66

for H being non empty RelStr st H is Heyting holds
H is distributive