Praeclarum Theorema

Context 1
Classical Propositional Calculus

Definition
$$((a \Rightarrow b) \land (d \Rightarrow c)) \Rightarrow ((a \land d) \Rightarrow (b \land c))$$

Proof
Forthcoming