Remove some commented out lemmas that are no longer needed