포여 열거 정리