sustituyendo de [4], tenemos: