Source: wikibot/formal-proof

= Formal proof
{wiki=Formal_proof}