theorem :: BORSUK_7:61

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