Johan Commelin later checks whether other people can maintain the proof.

“Of course, he will look later for, to see if”

“people can maintain this proof later. But you don't have to keep thinking about is this, the proof is correct or not. He knows the proof is correct.”