Proposition

here we are.