【计】 antecedent theorem
precondition; premise; premiss; presupposition; reason【计】 prerequisite conditions
theorem【化】 theorem【医】 theorem