n е положително цяло число . когато n + 1 е разделено на 3, остатъкът е 2 . Какво е остатъкът, когато n е разделено на 3 ?
"n + 1  3 a + 2 i . e . n + 1  5 , 8 , 11 , 14 , . . . и т.н. i . e . n  4, 7, 10 , 13 . . и т.н. когато n е разделено на 3 остатъкът винаги е 1 отговор : a"
divide(3, add(2, 3))