Add some leemas for Request (almost the same as those of ForwardInterst).