우산 정리 (6)