Induction proof
From Event-B
Revision as of 14:08, 30 October 2008 by imported>Mathieu (wikipedia link)
This page explains how to prove with induction method on the natural number with Rodin tools. In other words, how to proove :
The proof key is the following theorem:
The proof of the previous theorem is given by instantiating the key theorem with :