A theorem of the alternatives for the equation |Ax| - |B||x| = b