Montrez par récurrence que a_n = 2^n - 1 satisfait a_1 = 1 ,