Essentally, you are saying that a calculated result is a theorem, and the calculator shouold provide a proof. As always, course the standard of a commnicated pr

Essentally, you are saying that a calculated result is a theorem, and the calculator shouold provide a proof. As always, course the standard of a commnicated proof depends on what axioms and theorems the verifier knows.