theorem Th105: :: NUMBER14:105

for j, z being Integer st 0 <= j & j ^2 < z & z < (j + 1) ^2 holds
for i being Integer holds not z = i ^2