Checked if the operator used in Jauch and Piron is actually a projection operator.