Search results for: 'let A and B be PSD matrices. Prove that <A,B> = tr(AB^T) >= 0'