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