Prop: Adds proofs up to inversion_practice.