다음 식은 누구의 이론에서 제시된 것인가? (단, W : 분쇄에 사용되는 실질적인 에너지, ρ : 암석비중, S₁ : 파쇄전 표면적, x₁ : 파쇄전 입경, S₂ : 파쇄후 표면적, x₂ : 파쇄후 입경, K : 비례정수)