Es gibt nur 4 Faserungen X → Y, bei denen X, Y und die Faser
Sphären sind:
S0 → S1 → S1,
S1 → S3 → S2,
S3 → S7 → S4,
S7 → S15 → S8.
Sie entsprechen der Folge
R reelle Zahlen,
C komplexe Zahlen,
H Quaternionen,
O Oktonionen (Oktaven).
Satz (Kervaire, Milnor, 1958) Eine endlich-dimensionale reelle Divisionsalgebra hat Dimension 1, 2, 4, oder 8.