相关单词临近词theorem, theorem of minimum entropy production, theorem on multiplication of probabilities, theorem-proving for robot problem solving, theorems of differential mean-value theorem 返回 theorematically