theorem :: RVSUM_1:19

- (<*> REAL) = <*> REAL ;