Source: wikibot/regev-s-theorem

= Regev's theorem
{wiki=Regev's_theorem}