. "a proposition to be proved , a theorem ." . "a proposition to be proved , a theorem ." . .