If I can assume "not p" and derive "not q", have I completed an indirect proof of the statement "p→q"?

A) Yes
B) No