Parameter Sum.R

type n
val n : n cardinal