Title: Proof Patterns
Subjects: Number theory, Proof theory