ɪf, ɪn ɐdˈɪʃən, ˈɔːl ˈaɪdʒənvˌæljuːz ʌv hæv nˈɛɡətˌɪv ɹˈiːəl pˈɑːɹts ɪz stˈeɪbəl, ænd ðə juːnˈiːk səlˈuːʃən ʌvðə lˈaɪɐpˌʌnɑːv ᵻkwˈeɪʒən
If, in addition, all eigenvalues of  have negative real parts ( is stable), and the unique solution of the Lyapunov equation