Ecency
@mes: Theorem 2: Series | Ecency