Den følger fra en enkel, geometrisk betraktning. Da ≤ 1, vil derfor 2 - ≤   slik at den transformerte vinkelen ≤   dermed blir mindre enn den opprinnelige vinkelen.