This shows an implication in the premises of another implication is equivalent to a single implication with a conjunction of premises.
Click here to start.