Las siguientes fórmulas son manipulaciones de