2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/165579We present a complete proof of a theorem of C.G. Moreira. Under mild checkable conditions, the theorem asserts that the Hausdorff dimension of the arithmetic sum of two dynamically defined Cantor subsets of the real line, equals either the sum of the dimensions or 1, whichever is smaller.15 pages. Expository notes, will not be submittedDynamical SystemsClassical Analysis and ODEs37C45; 28A80Moreira's Theorem on the arithmetic sum of dynamically defined Cantor setstext