completeness theorem