정리는 나중에