例えばその場合、成り立ってほしい等式