[math-fun] Draft of essay about two proofs of a rectangle tiling theorem