Proof

This mathematical proof shows that A equals B, which equals C, which equals D. The proof uses transitive logic to demonstrate the equivalence between the variables in 3 lines of reasoning.