>>588
なら、四元数体を定義する前に既にjは存在するんですね?
なら四元数体って何なの?