Proof by infinite descent

ID: proof-by-infinite-descent

New to topics? Read the docs here!