Hypothetical syllogism
THEOREM
(Hypothetical syllogism)
The material conditional relation is transitive.
$$P \Rightarrow Q,\ Q \Rightarrow R \vdash P \Rightarrow R$$
Proof available