En este caso están dados: