Thank you very much for your reply. It makes clear to me that I need to become more familiar with Resolve. Do you have any ideas for an "animated elaboration" that would make the truth of conjecture apparent to those not familiar with the Wolfram Language??
