In that case (assuming the proof is correct) it is still true that in real time the theorem "has been proved"!
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••