Prove that L = (dsin(σ - 90 deg))/(-sin(σ)) is equal to L = dcot(σ)