for i being natural Number holds 0 <= i