Se tiene, entonces: