for N being Matrix of 3,REAL
for uf being FinSequence of REAL
for u being Element of (TOP-REAL 3) st N is invertible & u = uf & not u is zero holds
N * uf <> 0. (TOP-REAL 3)