Raise integer to a positive power. Repeat reading pairs of integers, until you encounter a 0. Indicate invariant loop.
gcd(m, n) * lcm(m, n) = m * n . Repeat reading pairs of
integers, until you encounter a 0. For each pairs, print the arguments,
the gcd and the lcm. Indicate the invariant loop.