generalized completeness theorem