pub fn check_shape<'a, Q, P, T>(matr_a: &'a Q, matr_b: &'a P) -> boolwhere
    Q: BasicMatrix<'a, T>,
    P: BasicMatrix<'a, T>,