And the theorem is also used in probabilistic machine learning to solve the Gaussian mixture model, which is one of the most essentials parts of machine learning in general. Indeed it is a fundamental theorem/rule.