Chart Geometry - Geometry Proofs