Source: wikibot/haran-s-diamond-theorem

= Haran's diamond theorem
{wiki=Haran's_diamond_theorem}