定理表达式之间假设或被证明存在的一普通原则或法则

• A general principle or rule that is assumed or that has been proven to hold between expressions.