15
For
and
we have that
=
.