定 係数システムにおいては、可制御性行列により可制御性の判別ができることの証明

上記の証明をするかわりに、それらを包含する以下の証明を示す。