User blog comment:KthulhuHimself/Norminals Revisited./@comment-25601061-20160203001709/@comment-27014275-20160322165646

Are you blind? ] N[ 0 (0) is equal to 10; hence  N  ]N[0(0) (10) is equal to  N  10 (10)  (Which is equal to  ] N[ 0 (1). ) From this point onwards, we can know every value of  ] N[ 0 (n).

Why is it so hard to understand that it's well-defined?