Double Negation Introduction/Proof Rule