discussion:zh:theorems