if RS = ST and ST = 2UV then RS = 2UV