Hatványozás azonosságai, Bizonyítások