рекурсивные функции (симметрическая разность)

[Sverest]

В википедии есть пример про рекурсивные функции:
$ Sub(a,\;b)=|a-b| \\ \\ Sub(x,\;y)=Sum(Sub_1(x,\;y),\; Sub_2(x,\;y)) \\ \\ Sub_2(x,\;y)=Sub_1(I_2^2(x,\;y),\; I_2^1(x,\;y)) \\ \\ \left\{\begin{array}{l}Sub_1(x,\;0)=I_1^1(x)\\Sub_1(x,\;y+1)=f(x,\;y,\;Sub_1(x,\;y))\end{array}\right. \\ \\ f(x,\;y,\;z)=p(I_3^3(x,\;y,\;z)) \\ \\ \left\{\begin{array}{l}p(0)=0\\p(y+1)=I_2^1(y,\;p(y))\end{array}\right. \\ \\ $

Чтоб разобраться в нем попробовал поставить вместо букв цифры:

$Sub(2,\;3)=Sum(Sub_1(2,\;3),\; Sub_2(2,\;3)) =(|2-3|)+(|2-3|)=1+1=2 $

Разве это правильно? Должно же было получится 1? Что я сделал неправильно?

[Sverest]

а вот здесь почему то формулы записаны вот так:

${-} (x,y) = + ( {-}_1(x,y), {-}_2(x,y)); $

${-}_2(x,y)={-}_1(I_2^2(x,y),I_2^1(x,y))$

как это расшифровывается?