therefore we conclude  ~~~~~~