It means that if you have a subproof that both
starts with a conditional's antecedent, P, and ends
with its consequent, Q, then you are entitled to claim the
conditional.
Ouch! Do I really
need to know how to do this?
If you want to learn logic, you do.
