Challenge - GCD of Two Integers Using the <requires> Clause

Let’s try to solve the GCD problem by using the <requires> clause.