Para mayor claridad, sea: