Non-triviality Done Proof-Theoretically