진문 정리

민경 정리