Remark: Mixed products are not ordinary products of distributions

The theorem concerns already constructed ordered field words and their joint-test extensions. It does not multiply arbitrary numerical distributions at a common singular point. Nor does it infer closure of an algebra of single-integral local functionals under ordinary multiplication: such a product is generally multilocal.