>>462
詳しく覚えてないけど、「証明がある」ということは
超複素数入門って本に書いてあったはず。