已知向量a,b,c是空间不共面的三个向量,若存在l,m,n,la+mb+nc=0,则一下四个式子中恒成立的有①lmn=0