discussion:sa:en:theorems