On the theory of division algebras