Stretch the left arm in the direction it is pointing?
That's what should be done, and it is what I do.
Is there a specific right triceps muscle that does this? If so, please spare me . . .
I don't want to know!
I just saw this answer.
Pardon me, I did not think there were any stupid questions. I was wrong. I will print this answer and paste it into the front cover of my book. This was an honest question. I will not say more.