设AB为满足AB=0的两个非零向量,则必有