What is a theorem called before it is proven?
postulate
proposition
contradiction
tautology
postulate
proposition
contradiction
tautology