double negation

theorem

Categories: