The fundamental theorems