principle of inclusion-exclusion proof