prove distributivity of a heyting algebra