Non Trivial Solution Definition Linear Algebra