Yes, and nobody has proven really -anything- about most things, by this metric. All we have is evidence of varying quality.
But, again: it's pretty much settled science that Rt = 1 when 1-(1/R0) is infected is a worst case not very often attained, and the evidence so far with COVID-19 (looking at time series data, evidence of non-uniform susceptibility, clear evidence of non-uniform contact networks, significant evidence of overdispersion, etc) leans strongly that way.
Bigger issue is: if 25% infected yields expected Rt of under 1 (the threshold for herd immunity, and I think this is likely)... you'll still have a fair number of cases, because people will come from other jurisdictions with the disease and it'll trigger chains of spread that only slowly decay / peter out each time. If you're one of the other 75%, you're hardly safe, because you can be exposed to one of these chains. Only vaccination can address this, and it's not even a complete fix.