新しい虚数単位を導入して、四元数の対をの形に書けば、その積は