the hint

want      A       >      B

know       C      >      B

show      A      >      C      then

A      >      C      AND      C      >       B      implies      A      >      B

corresponding to ...