Identify the property that justifies $a \equiv b \pmod{n}$ implies $a^k \equiv b^k \pmod{n}$ for any positive integer $k$.