장 마감 정리