设计一个子函数，判断二维数组是否为对称数组（对称矩阵），如果是，则返回1，否则返回0，并在主函数中调用此函数，判断一个4×4矩阵是否是对称数组。