You are given proof sequence. Justify each step in it (meaning, write down what rule was used to derive it, and from which previously obtained step(s) if applies) Argument is: A' Lambda B Lambda [B rightarrow (A C)] rightarrow C Proof sequence (you should substitute "?" with your reasoning)