If
and
, then
.