completeness theorem quantum mechanics