which gives the proposition.     □