Abstract. It is shown that one of the Zalar's axioms of a generalized normed space is redudant. More precisely, Jordan - von Neumann type theorem for a pre-Hilbert module is also valid if that axiom is omitted.
2000 Mathematics Subject Classification. 46K15, 46C15, 46H25.
Key words and phrases. H*-algebra, Hilbert module, normed module, Jordan - von Neumann theorem.