for n being natural Number holds n -' 0 = n