finished all proofs and theorems