implementing
정리