Theorems giving conditions for a pair of matrices to be reducible to a special form by a simultaneous similarity transformation such as the classical McCoy's theorem or theorems due to Shapiro and Watters are traditionally ...