Geometrical Theorem Prover