A theorem of the alternative for linear control systems