3次元の数ベクトルに成分ごとの和、ベクトル積を入れたものは、3元数の一種じゃないか