for i, n being Integer holds
( not |.i.| = n or i = n or i = - n )