La sentencia dice: