Textualmente, la sentencia dice: