Satz von Frobenius (reelle Divisionsalgebren)