finished proof for "maximally consistents set" section

I forgot to finish the proof before. It's finished now. also tidied up
a proof tree.