result about R commuting with lower slicing