in , let where are scalars.
- Compute the components of .
- Find values of such that and at least one of is nonzero.
- Prove that there is no triple such that .
- We compute,
- Proof. Let , then we have
Hence, these are three values of , at least one of which is nonzero, such that
- Proof. We know the components of are
But, if this would implies and . This is impossible since