【nì dìng lǐ】

  1. converse theorem (math.)