양수
를 얻고, formula_9라 하면, 양수 formula_10에 대해 formula_11이면