Answer:
Step-by-step explanation:
It's D.
A theorem is true by some sort of mathematical logic.
It is not a definition. Not C
It is not in the end true because of inductive reasoning (a theorem may lend itself to inductive reasoning, but it must be proved.) Not A
It certainly not assumed to be true without proof. Not B
