I counted the number of symbols in the equation after "As far as I can tell, the known proofs that"... It contained 41 letters and other miscellaneous math sym

I counted the number of symbols in the equation after "As far as I can tell, the known proofs that"... It contained 41 letters and other miscellaneous math symbols. Therefore, I find it unsurprising that it generates a specific constant having a magnitude of 10^-43. https://en.wikipedia.org/wiki/Kolmogorov_complexity https://en.wikipedia.org/wiki/Kolmogorov_complexity