fundamental theorem