Source: /wikibot/fagin-s-theorem

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