Si formula_122, entonces ciertamente existe un único formula_18 tal que formula_124 (pues es formula_17 mismo), por lo que la hipótesis del esquema de reemplazo se cumple, con lo que existe un conjunto formula_116 tal que