Source: wikibot/proof-by-infinite-descent

= Proof by infinite descent
{wiki=Proof_by_infinite_descent}