discussion:zh:en:theorems