Normed division algebra