Solution (source code)

= Solution

Suppose $r\mathbf A+s\mathbf B+t\mathbf C=0$. Take its <dot product> successively with $\mathbf a,\mathbf b,\mathbf c$. The reciprocal pairings give $r=s=t=0$. Thus $\mathbf A,\mathbf B,\mathbf C$ are <linearly independent> and therefore noncoplanar in three dimensions.