where
are any matrices satisfying
and