la:discussion:en:theorems