completeness theorem of r