Can you list a compilation of relevant theorems?