Category "coq-tactic"

Cannot apply one hypothesis to another

I am very new to Coq and I'm trying to prove that if two functions are injectives, the composition of theses two functions is also injective. Here is my code: D