@misc{indiciaed33f0575207f, title = {On the sum of the angles between three vectors}, author = {Iosif Pinelis}, year = {2025}, url = {https://arxiv.org/abs/2508.04759}, note = {Source identifier: 2508.04759} }