Nevertheless, the proof is valid and easy to certify