De modo que tenemos: