定理は理論の一部である．