We fix $\beta \in \ker(T - \mathrm{id}) \setminus \{0\}$.\\
a) Show that the map $x \mapsto \beta x$ sends $\ker(T - \mathrm{id})$ into $\ker(T + \mathrm{id})$. Deduce that $\beta^2 \in U$ and that $\ker(T - \mathrm{id}) = \beta U$.\\
b) Show that $\beta^2 \in ]-\infty, 0[$.\\
c) Prove Theorem B: An algebraic $\mathbb{R}$-algebra without zero divisors is isomorphic to $\mathbb{R}$, $\mathbb{C}$ or $\mathbb{H}$.