Y no es posible sustituir haya llegado, porque la hipótesis es anunciada por el condicional si.