# Induction proof

From Event-B

Jump to navigationJump to searchThis page explains how to prove with induction method on the natural number with Rodin tools. In other words, how to prove :

The proof key is the following theorem:

The proof of the previous theorem is given by instantiating the key theorem with :