theorem Th68: :: WAYBEL_1:68

for H being non empty RelStr st H is Heyting holds
H is upper-bounded