If
, then