Има грешка в решението на изпита от 08.07.2015 зад.3 където се строи функцията. По Кнастер-Тарски, фи3 би трябвало да връща (x-2)*x*y за x = 4 и 5 => по индукция се доказва че фиГ = y*(x!!), т.е. фи0(x) = 3*((2x)!!) и фи1(x,y) = y*((2x)!!).