Se tiene: