Computing the matrix product in the last condition gives a system of linear equations in the components of
,

and is easily solvable to get

or, using the condition
,

• (1) is false, since

because
.
• (2) is true.

• (3) is false. The magnitude of
could be smaller than √10.
Since
, we have

and

which is to say,
.
• (4) is true.
We have

In terms of
alone,

Now,

which means
