theorem Th2: :: COMPLEX2:2

for a, b, c being Real st a > 0 & b >= 0 & c >= 0 & b < a & c < a holds
for i being Integer st b = c + (a * i) holds
b = c