Definition:Indirect Reduction to First Figure