Theorem - Let be a paracompact Hausdorff space and an open covering of . Then there exists a partition of unity on subordinate to .