Given the Gram's matrix, A, where $A_{ij}=(\psi_{i}|\psi_{j})$ (of course $\psi_{i}$ $\in V$), can someone prove that
$$ \textrm{If} \hspace{2mm} (\psi_{i}|A|\psi_{i})>0 \hspace{5mm} (\textrm{i.e A is positively defined}) \implies \{\psi_{i}\}_{i=1}^{i=N} \hspace{5mm} \textrm{form a a set of independent vectors ( i.e} \hspace{2mm} (\psi_{i}|\psi_{j})=0) $$
?
And in this case, show that conversely all Gram matrix of a set of vectors is a semipositively defined operator.