Såsom bekant finnes redan enmängd