Note however, that as you showed, a finite Hilbert space is not realist.
But whatever:
If one accepts your argument (the properies you mentioned for the operator P are reasonable, your argument is ok on mathematical gounds, so I think it should be !), it then shows that probability operator...