An invariance property of operator products related to the mixed-type reverse order laws. Issue 5 (3rd May 2016)