数式や定理女体化とか参考書とかで既にありそう