I've seen this problem before and debated it ad nauseum. If you want to discuss the correct answer though let me know and I'll be happy to give my commentary.
Also if you want to extend the reach a bit of this post it would be suited for QOTO's math group (on our group server). To do so you'd have to make it a top-level post that tags the group server: @math
CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.