a proposition, statement, or formula whose explanation/truth is not immediately evident but which can be proven/deduced using a logical chain of accepted truths and reasoning, especially in fields such as mathematics and physics;
e.g. She filled many sheets of paper trying to work out the derivation of the theorem.