Using Symbolic Computation to Inductively Prove Geometric Theorems And Its Implication to The Study of General Relativity