[C]버프 정리