However a diagonal argument will show that the function ev of two arguments is not primitive recursive.
Међутим дијагонала аргумента ће показати да функција ev два аргумента није примитивно рекурзивна.