En un supuesto simple: