A finitely additive state criterion for the completeness of inner product spaces
scientific article; zbMATH DE number 2057647