
theorem :: Theorem 1.4.3, just for the illustration
  FuzzyLattice [.0,1.] is complete Heyting distributive LATTICE;
