We would like a new concept entry for the concept of Proof by Induction The entry should go in a new file in docs/content/discrete-math/concepts/proofs/terms/proof-by ...