定 係数システムにおいては、
可制御性行列により可制御性の判別ができることの証明
上記の証明をするかわりに、それらを包含する以下の証明を示す。