이것은 로렌스가 증명한다