It's a common (most common?) word in mathematics in this meaning.

You interrogate a proof.