Topic E: Proving Properties of Geometric Systems