for any ''m'' > ''j''. This is symmetric in the ''β''<sub>''i''</sub> and homogeneous of weight ''j'': so can be expressed as a polynomial ''K''<sub>''j''</sub>(''p''<sub>1</sub>, ..., ''p''<sub>''j''</sub>) in the [[elementary symmetric function]]s ''p'' of the ''β''. Then ''K''<sub>''j''</sub> defines a multiplicative sequence.