---
title: "induction-proof-template"
tags: 
- 
---