Ietf rfc 3647. If a is diagonalizable then a is invertible. If and if excel.

If boolean js.