implies

, then if

implies

it follows that

implies