Entonces las sustituiremos por el resultado que ya conocemos.