Proof In The Process Of Reduction, At Th by