The algorythm in the example in pr. 1053 is not the same as
they say!! It is WRONG as it seems to me: the 2nd step
supposes to be wrong. (???)