중간정리 커밋