003_gcd: now verifies!