这是一个线性代数问题...已知n阶矩阵A满足A2+2A-3E=0,试证:A+4E可逆,并求出(A+4E)-1.