Den bestär nämligen as enmängd