Um(a) provador é usado(a) para provar algo