reduction theorem

[ریاضیات] قضیه ی تحویل