La idea es que vos decís "Si O es distinta de A => tiene que existir al menos una inversión => tiene que existir alguna inversión consecutiva". Eso es lo tenés que mostrar, porque solo al deshacer una inversión de dos participantes consecutivos es que podés asegurar que no se crean nuevas inversiones. En este sentido, tenes que demostrar que el tiempo de finalización de los participantes i y j no empeora y el del resto no cambia.
Saludos,
Guillermo
Saludos,
Guillermo