Tenemos, entonces que