Frobenius' Theorem on Division Algebras | Synapse