【计算题】证明：若系数矩阵A是严格对角占优的或不可约对角占优的，且松弛因子ω∈（0，1），则SOR收敛。