the worst proof i have ever written.
working on the proof of set.