contrast인경우 증명은 카셀라에만 있네.
호그보면서 뻘짓하다가..

근데 결국 코시슈바르츠나 기하적인 방법이나 같은 거긴하네