Added a proof. fixed some latex issues (\not versus \neg)
Latex fix for my previous fix. Ahaha, I'm the worst.