2 kyu

Loading Kata: Program Verification #4: Exponentiation by squaring