Propositional Logic Without The Deduction Theorem

In propositional logic, given a set of axioms, we can derive formulas. Here we present the derivations of some formulas without the use of the Deduction Theorem. The derivations are presented compactly with only few referrals to other theorems. Most textbooks in this subject avoid this kind of approach.