Category:Hilbert Proof System Instance 1