@colincross identified gcd does not have a single case whose answer is not 0, 1, or the smaller of the two inputs.