Solution (source code)

= Solution

The Jacobian at the origin is $-I$, whose two <eigenvalues> are $-1$. The linearization theorem for a <hyperbolic equilibrium> therefore implies that the origin is asymptotically stable.