Fundamental theorem