LYA

∀x ≠ 0 :  V(x) > 0 ,  V̇(x) < 0