Email Record: Mechanical theorem proving in geometries :