You have to first prove that p is not undecidable. This is not being done in many proof by contra-positive based proofs in mathematics. First prove that p is no

You have to first prove that p is not undecidable. This is not being done in many proof by contra-positive based proofs in mathematics. First prove that p is not undecidable is not a step in Analysis I by Terence Tao for instance.