Para mostrar como el esquema de especificación se deduce del esquema de reemplazo, se considera la fórmula