Imagine that an implication "If A, then B", or A ⇒ B in symbolic form, works as a store that sells B's for the price of an A. If A ⇒ B has already been proven and can be used, it's like a store in your neighborhood. To use it, you need to have an A ready, and when you come to the store, you exchange it for a B. It's a different story if you would like to create your own business and open a store, i.e., if you would like to prove A ⇒ B. Then you need to have an infrastructure so that when a customer comes with an A, you can use it to manufacture, buy wholesale or otherwise obtain a B and give it to the customer.
To summarize: If A ⇒ B is proven or assumed, you can give it an A and obtain a B. If you want to prove A ⇒ B, you need to be ready to accept an A and convert it into a B.