코로나정리라고 하자