Parameter Sum.2-R

type n
val n : n cardinal