gcd.py works