A simpler , but related , problem is valid verification , where an existing proof for a theorem is certified proof .
A simpler , but related , problem is proof verification , where an existing proof for a theorem is certified valid .