  This small note, without claim of originality, constructs the projective
plane over the octonionic numbers and recalls how this can be used to rule out
the existence of higher-dimensional real division algebras, using Adams'
solution of the Hopf invariant $1$ problem.
