Теория алгоритмов, А тут мне помогут?:( Опции

[TOPEHTO]

Народ нужна ваша помощь! подскажите хотя бы с чего начать:Нужно доказать что НОД и НОК примитивно рекурсивные функции...кто поможет?

[TOPEHTO]

Так, пришел Я значит к алгоритму
1) доказываю про мин, что он п-р
2) аналогично с максимум)
3)Доказываю разность
4)В разность сую макс и мин, и получаю max(x, y) - min(x, y)
5) сую в итогувую фор-лу все вместе и получаю НОД(max(x, y) - min(x, y), min(x, y))
6) пишу НОД(x, y) = НОД(max(x, y) - min(x, y), min(x, y)) и тем самым Я все доказываю, Я прально мысллить начал?
p/s/ Если что не так пиши плиз максимально подробно и доступно, т.к. это для меня китайская клинопись

Добавлено через 2 мин.
Кста, как доказать что деление примитивно-рекурсивно
Помогите плиз, чем подробнее тем лучше и с коментами