finnes icke en enda af den storamängd