A proof of Baker’s finite-base theorem on equational classes generated by finite elements of congruence distributive varieties