If something can be proven there is a finite length proof, and if you check lengths one by one eventually you will reach a high enough length for a valid proof.