TY - RPRT TI - On the sum of the angles between three vectors AU - Iosif Pinelis PY - 2025 UR - https://arxiv.org/abs/2508.04759 ID - 2508.04759 ER -