余玄定理公式