Yang Yi
모든 양의 정부호 함수 formula_3에 대하여, 다음이 성립한다. (이는 양의 정부호 함수의 정의에서, formula_17인 경우에서 유래한다.)