Доведення тотожностей, степінь з натуральним числом