Why it works: Guṇitasamuccayaḥ

Digit root is a homomorphism modulo 9: $\operatorname{digitRoot}(a\times b) = \operatorname{digitRoot}(\operatorname{digitRoot}(a) \times \operatorname{digitRoot}(b)$). This is because the digit root tracks the number modulo 9.