正确
AB=AC可变形为A(B-C)=0, 即若A不为0,问是否存在D时AD=0?
肯定存在,比如A = {(1,0)', (0,0)'} D={(0,0)', (0,1)'}
AD=0,但A和D都不为0