ако a и b са положителни числа , и a  2 b + 6 , най-големият общ делител на a и b не може да бъде
"тъй като a  2 b + 6 , така че можем да кажем b  ( a / 2 - 3 ) , така че трябва да намерим не възможните gcd стойности за a , ( a / 2 - 3 ) , можем лесно да получим тази стойност, като направим a  8 . b . 2 , можем отново да получим тази стойност като gcd, като запазим a  10 c .
add(divide(6, 2), const_2)