Oksha – Proof

If you trust this algorithm for proving mathematical things, then you can see by the way it’s constructed that it’s true ,but you can also see that it cannot be proved.