Ниже приведена процедура, реализующая еще один вариант алгоритма Евклида «с вычитанием»: Procedure Euclid1(a,b:Integer; Var d:Integer);Var r:Integer;BeginWhile b>0 Do Beginr:=Abs(a-b); a:=b; b:=r;End;d:=a;End;Сформулируйте реализуемый ею алгоритм, докажите его результативность и выполните его вручную на конкретном примере. в Pascal