Given , prove that
for with
.
Further, determine if
.
Proof. From Exercise #9 of this section, we know for , there exist
such that
Thus,
Hence, and
exist such that
For the computation, if , then
and
where
\beta = \frac{\pi}{4}$. Thus,