Re: [math-fun] Dimension of real division algebras