패트리정리함 대형