Steve AngryKiller

## akha.py
#heredite

1) init
notons U0>= .. V0=..
on note pour nEN prop. P(n).... ainsi P(0)vrai

2) heredite
On supp. prop. vraie pour rang k>=0
demontrer p vrai rang k+1
	#heredite

	1) init
	notons U0>= .. V0=..
	on note pour nEN prop. P(n).... ainsi P(0)vrai

	2) heredite
	On supp. prop. vraie pour rang k>=0
	demontrer p vrai rang k+1