if there exists

where , and are by matrices