theorem :: RVSUM_1:2

1 is_a_unity_wrt multreal by BINOP_2:7, SETWISEO:14;