Source: wikibot/af-plus-bg-theorem

= AF+BG theorem
{wiki=AF+BG_theorem}