proved result about R commuting with lower slices