Correct. If
then
so
and therefore