In Theorem 2, the denominator
should be