second fundamental theorem