A remark on Piron's paper

Abstract

The following statement (Piron's Theorem 22) is proved: The lattice L(V) of all subspaces of a prehilbert space V is orthomodular if and only if V is complete (i. e. a Hilbert space).