ここでの符号は正の場合と負の場合があるが、どちらでも次の等式が成り立つ: