/**
 * Définition récursive de l'addition. Ici, il n'est que besoin de connaître
 * le successeur ou le prédécesseur d'un entier (+1 / -1). On rappelle
 * très brièvement que les entiers peuvent être définis à partir du premier
 * d'entre eux : le ZÉRO qui est un Entier, puis de la fonction
 * SUCC : Entier --> Entier.
 * Notre fonction d'addition peut être vue comme
 * add(n,0) = n;
 * add(n,SUCC(m)) = add(SUCC(n),m);
 *
 * Exercice : définir une fonction de multiplication à l'aide de l'addition
 * Exercice : définir une fonction d'exponentiation
 *
 * @author JBY
 */
public class Addition {
  public static int addition(int n,int m) {
    if (m==0) return n;
    return addition(n+1,m-1);
  }
  public static void main(String []a) {
    System.out.println(addition(4,5));
  }
}