represents the "

implies

." Hence we arrive at

, namely,

"

implies that