discussion:en:theorems