mˈoːɹ pɹˈɑːpɚɾiz ʌv kəntɹˈoʊləbəl sˈɪstəmz kæn biː fˈaʊnd ˈɪn, æz wˈɛl æz ðə pɹˈuːf fɚðɪ ˈʌðɚɹ ɪkwˈɪvələnt stˈeɪtmənts ʌv “ðə pˈɛɹ ɪz kəntɹˈoʊləbəl” pɹɪzˈɛntᵻd ɪn sˈɛkʃən kəntɹˌoʊləbˈɪlᵻɾi ɪn ˌɛltˌiːˈaɪ sˈɪstəmz.
More properties of controllable systems can be found in, as well as the proof for the other equivalent statements of “The pair  is controllable” presented in section Controllability in LTI Systems.