Source: /wikibot/space-hierarchy-theorem

= Space hierarchy theorem
{wiki=Space_hierarchy_theorem}