Proposition 1. For all n ≥ 1 we have