>>70が超複素数に課される事が多い。上三つだけなら三元数も満たす事が出来る。