Proof of power rule for positive integer powers