양의
인 양의 상수 formula_56가 존재한다.