[math-fun] Doubly true equalities