ResPubID9351, Cauchy-Bunyakovsky-Schwarz, CBS-inequality, gram determinant, gram inequality, triangle inequality