reduction theorem