Provable by Gentzen Proof System iff Negation has Closed Tableau

Theorem
Let $\mathscr G$ be instance 1 of a Gentzen proof system.