**B**in a space of dimension

**n**, and a set of regions

**R**isomorphic to a linear section. The output is a linear surface dividing the regions in

**R**. Choose a linear surface

**b**and

_{0}**n**noncoincidental points

**p**,

_{0}**p**, ...

_{1}**p**on

_{n-1}**b**. Let

_{0}**f**map each linear surface

**b**to a point

**p**with coordinates equal to the lengths of the segments perpendicular to

**b**from

_{0}**b**to

**p**,

_{0}**p**, ...

_{1}**p**. I claim that

_{n-1}**f**maps linear surfaces through the same point to points on a linear surface. Thus

**f**determines mapping

**g**from points to linear surfaces. Since

**b**provides an orientation, two linear surfaces can be opposite or on the same side of a point. Let

_{0}**Q**be the intersection points of each

**n**-tuple from

**B**, and

**D**be the linear surfaces mapped to from

**Q**by

**g**.

**D**forms a finite linear space with regions corresponding to sections in

**B**. To find a linear surface dividing the regions in

**R**, find which side of

**R**each point in

**Q**is on. Use those sidednesses to determine a region

**x**in

**D**. Choose a point

**y**in

**x**. Apply the inverse of

**f**to

**y**to obtain a linear surface dividing the regions in

**R**.

I must prove that the map

**g**from point to linear surface is well defined.

Consider a linear surface

**b**through point

**p**that

**f**maps to coordinates

**c**,

_{0}**c**, ...

_{1}**c**. Since

_{n-1}**b**goes through

**p**, one coordinate

**c**depends on the other coordinates. If every coordinate except

_{i}**c**and one other

_{i}**c**is held fixed, then by similar triangles,

_{j}**, for some scalars**c

_{i}= dc

_{j}+ e

**d**and

**e**. Thus, the dependence of

**c**upon the other coordinates is the affine composition of affine functions. Therefore, the coordinates lie on a linear surface.

_{i}Implications of this algorithm for abstract linear spaces include that every linear space of the same number of boundaries has the same number of sections, and that the notion of sidedness of

**n**-tuples of boundaries wrt boundaries is well defined.

## Section Space Theorem

If space**S**is linear, then there exists linear space

_{0}^{n}**S**, unique up to isomorphism, with boundaries corresponding to

_{1}^{n}**n**-tuples of boundaries from

**S**and regions corresponding to sections of

_{0}^{n}**S**.

_{0}^{n}The proof follows from the algorithm above.