for i being natural Number holds 0 < i + 1