양의
formula_33이 양의 정수라고 하며,