zh:discussion:en:theorems