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

m: VAR nat