But these together imply that ap·x+(1-a)·x>a+(1-a) Which is a contradictionBut these together imply that p  x  1  p  x  w  1  w which is a contradiction