Induction proof
From Event-B
Revision as of 14:11, 30 October 2008 by imported>Mathieu (ortho)
This 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 :