See an animation of a trapezoid innscribed in a circle, built with some maths and the help of an LLM.
Today I learned that cyclic quadrilaterals have supplementary opposite angles.
I know a proof that there's irrational numbers that one to the power of the other give a rational number and this footer is almost the right size for it.