Ecency
@mes: Theorem 1 and | Ecency