De la sustitución resulta entonces