Proof that positions are between 0 and 1.