设有一个12阶的对称矩阵A、采用压缩存储方式将其下三角部分以行序为主序存储到一维数组b中（矩阵A的第一个元素为A[0][0]，数组b的下标从0开始），则矩阵A中第4行的元素在数组b中的下标i一定有（）。