If a definite statement is believed plausible by some mathematicians but has been neither proved nor disproved , it is called a conjecture , as opposed to an ultimate goal : a theorem that has been proved .
In mathematics , an ultimate goal is a theorem that has been proved .