a theorem is a statement that is only accepted after it has been proven?