Finished proof of the apply color thm
Removed the cheat in cut_env_lemma