Puede encontrarse una detallada demostración (en inglés).