FDL > PVS > Number Theory > gcd > n : var-decl

n: VAR nat