Unless it's a non-constructive proof.