formula_532 sea una declaración verdadera (esto es, que formula_532 contenga el valor de la i-ésima función paramétrica) es