 
 
 
additionally permet de faire des hypothèses supplémentaires
sur une variable. En effet, si on fait une autre hypothèse avec assume, 
l’ancienne hypothèse est effacée. Donc, si vous voulez rajoutez une 
nouvelle hypothèse il faut utiliser la commande additionally ou mettre 
additionally comme deuxième argument de assume.
additionally a les mêmes arguments que assume ou supposons :
un nom de variable suivi d’uneégalité ou d’une inégalité représentant
l’hypothèse faite ou bien un nom de variable suivi d’une virgule et de son 
type. On peut mettre plusieurs hypothèses à condition de les relier par 
and ou or selon ce que l’on veut faire !
On est obligé d’utiliser 
additionally pour spécifier le type de la variable et une plage de 
valeurs pour cette variable.
On tape pour dire que b est un entier supérieur strictement à 5 :
ou bien
On obtient :
puis
On tape :
On obtient :
 
 
