３元数が作れないことは証明されています。
２（複素数）、４、８、１６・・・でないとダメです。