Proof. [03UU]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context ยท Original author HTML
Proof. Let us proceed inductively by codimension of faces. The induction step reduces to the obvious remark that the extension of the standard -affine structure on to a neighborhood of point in is unique in the case when is an affine subspace, .