Euler-Binet Formula/Corollary