for n, i being natural Number st n -' i = 0 holds
n <= i