Template:Geometry series brief

This is part of a series of modules which prove a variety of geometrical theorems starting with Tarski's axioms for geometry, culminating in Interface:Basic geometry.