La sentencia dice así: