Suppose we have a statement we need to prove: If $p$ then $q$.
If we are told "reduce to the case where $r$", what does this mean?
Is this saying that the statement "$p$ implies $q$" follows from "$r$ implies $q$", and so we only need to prove the statement: If $r$ then $q$?