Its at the bottom of the OP..
OP: https://qoto.org/@carlostomas/105136470631871101
> Basic mathematical overview of proof:
>
> https://drive.google.com/file/d/1Y-GZKJbZKiAcqFm2ewdxX__PzyVpmNy1/view?usp=sharing
>
> Official proof:
> https://drive.google.com/file/d/1Q_LxHjsQgv7b3RrWnu7Jer23Jw1O7ZUc/view
>
> Extended proof:
> https://drive.google.com/file/d/1lhAILS01c7ROzcP2IcjwyiClsgchV8Pu/view?usp=sharing
@freemo @carlostomas @onan @math
Thank you, I'm reading the basic one and see it has playing cards. I like math with playing cards.
https://wikieducator.org/Casino_Math
Footnote regarding English: I don't think "obviate" means what the author thinks it means i.e. it does not mean "to make obvious". It means "to anticipate and prevent".
I am very glad you are enjoying the playing cards metaphors, they are a very useful math handle when addressing the mechanics of quantifying the lengths of procedures that accomplish fundamental tasks (such as identifying the values of playing cards). And for the obviate usage noting, its unobvious that it means to anticipate and prevent in it's normal English meaning, I look forward to reading the English history, as it seems not blatantly intuitive. It should be informative. I appreciate your input, and your reading of the documents very much. I hope you have a nice day.
@freemo @carlostomas @onan @math
I have been summoned..., but have not found the link yet.