'n 'm 'gcd 'gcdnm 3 df 'n 'm 'n '- '+ 'gcd 'gcdnmn 6 df ''n 1 'df ''m 1 'df ''m
'''gcdnm '''gcdnmn 'm 'n '< '? 'n '0 '= '? ''m 'ud ''n 'ud 'gcd 21 df