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