これは次のように言い換えることができます。