НОД и НОК алгоритмом Евклида

Функция gcd_lcm(a, b) возвращает кортеж (НОД, НОК) двух неотрицательных целых a и b. НОД считайте алгоритмом Евклида, НОК — через формулу a * b / НОД (делите до умножения, чтобы избежать переполнения в других языках).

Соглашение: gcd_lcm(0, 0) = (0, 0); для gcd_lcm(0, x) НОД равен x, а НОК равен 0.

Формат: вход — целые a, b ≥ 0; выход — кортеж (int, int).

Примеры:

gcd_lcm(12, 18) -> (6, 36)
gcd_lcm(7, 5)   -> (1, 35)
gcd_lcm(0, 9)   -> (9, 0)