Um(a) prova é usado(a) para provar