# Higher-Order Theorems You Can Prove in JITPRO

Five Demo Problems

More Sample Problems

Several Very Easy Problems for Beginners

Theorems about Group Theory

A Property of a Closure Operator

Theorems about Church Numerals

Graph Theory

(Trivial)
(Trivial)