Added basis definition, inductive predicate definition, and induction theorem.
Created state theorems file
Pushed changes