Greetings to the entire community.
I've been learning the more complex strategies for some time now, and I've encountered a Coq Sue rule that, in my understanding, won't let me eliminate a candidate that, according to my understanding of the rule, I should eliminate, and it's giving me an error. I'd like to show you the diagram, but I don't know how. Could someone please tell me how I can include images in the question?
Thank you very much for your help.

