:: deftheorem Def2 defines Conv FINANCE6:def 1 :
for t being Real
for n being Nat holds
( ( n = 1 implies Conv (n,t) = t ) & ( not n = 1 implies Conv (n,t) = 0 ) );