La demostración está aquí: