less 정리