1st fundamental theorem