【计】 existence theorem
exist; indwell; lie; occur; presence; existence【法】 entity; existence
theorem【化】 theorem【医】 theorem