ако a и b са положителни числа , и a  3 b + 12 , най-големият общ делител на a и b не може да бъде
"Ако b е 1, 2, 3 или 4, тогава gcd от a и b е съответно 1, 2, 3 и 4. Така че, чрез poe отговорът трябва да бъде d . все пак : ако b е кратно на 5 , тогава a е 12 по-голямо от кратно на 5 , така че не е кратно на 5 , така че и двете от тях не могат да бъдат разделени от 5.
add(divide(12, 3), const_2)