Loop invariants!
Module 4: De twee power functies (+ ignore tests)