положителните числа a и b оставят остатъци съответно от 2 и 3, когато се раздели на 6 . a > b . Какъв е остатъкът, когато a – b се раздели на 6 ?
Нека да тестваме някои стойности на m и n, които удовлетворяват дадената информация . a листа са остатък от 2, когато се разделя на 6 , a може да се равнява на 8 b листа са остатък от 3, когато се разделя на 6 , b може да се равнява на 3 какво е остатъка, когато a – b се разделя на 6 , така че , a - b  8 - 3  5 , а когато разделим 5 на 6 , получаваме 0 с остатък :
add(reminder(2, 6), reminder(3, 6))