superadditivity, Gram determinants, inner product space, Gram's inequality