@freemo @carlostomas @onan @math
I have been summoned..., but have not found the link yet.
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
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.