Um(a) provador é usado(a) para ser provado