분할정리

in wmbp