三元数もちゃんと乗法が定義できるよ