List of fundamental theorems