for i being Integer holds SphereMap . i = c[100]