If g∘f is injective, so is f · Proofwise