if sc = hr and hr=ab then sc=ab sc = hr (given) Since hr = ab, we can substitute ab for hr by substitution: sc = ab