theorem Th2: :: EUCLID13:2

for i being Integer st (- 3) / 2 < i & i < 1 / 2 & not i = 0 holds
i = - 1