Jordan comments on Complexity of Value ≠ Complexity of Outcome

[Jordan]

But that complicated proof could be concisely provided via a universal proof algorithm and the statement of the four color theorem.

[Peter_de_Blanc]

Exactly! The Kolmogorov complexity is not very high.