设A,B同为n阶矩阵,若AB=E,则必有BA=E 这话对还是错呀我一点不懂