>>16687883
Start with a proof by contradiction...