任意のセックスの元 y について
自慰×y=y×自慰=y
でいいか?