Parameter Sum.1-L

type n
val n : n cardinal