Source: wikibot/extra-element-theorem

= Extra element theorem
{wiki=Extra_element_theorem}