Ecency
Proof of theorem | Ecency