If something is proven, then it is a certainty. If not it's just a theory.

I think it is safer to say if the theory predicts something that is later found to be "fact" then the theory is functionally useful (in context). eg Relativity struggles with Quantum Mechanics

Life just ain't binary. And I can prove that!