:: deftheorem defines RVfourth FINANCE6:def 14 :
for jpi being pricefunction
for r being Real
for d being Nat holds RVfourth (jpi,r,d) = RVfirst ((jpi . d) * (1 + r));