|a|*|b|=|ab|って常に成り立つんですか?