It seems you are desperately trying to create a new conjecture. Well after putting 10489 new constraints into the original one, since it still doesn't work i think you should start from scratch to create a valid conjecture.(Lipssealed)(Tongueout)
The counterexample of the new constraints:
Many thanks. You have proven the conjecture false.
I know I am getting to be a pain but can you explore a constraint where P-Q and C-B do not share common factors except the trivial unity.
OK thanks and I'll expect a reply from you tomorrow. I suspect you won't find anymore counterexamples.
ChessTal has speedily assisted me so far and the counterexamples he found were very useful because the gaps in the conjecture have been closed. Of course I can spend time learning a computer program and writing one to search for counterexamples but I don't think any will be found when all the constraints are imposed. If any is found then I will give up on the conjecture.
We are a help site. We do not exist to solve all your problems.
I think the conjecture is a theorem given all the constraints. ChessTal was using particular values for the variables to get counterexamples. This made me come up with more and more constraints and I've checked that there can be no more constraints. We were getting somewhere yesterday because he seemed surprised his computer was taking 2 minutes to come up with a counterexample and he said he needed to look for counterexamples using a different method today. I am patiently waiting and hoping he would say he didn't find any. If he does then I would then move on to proving the conjecture with suggestions from members of the forum. My proof is simply based on the fact that all C^n - B^n factorise in one and only one way and therefore anything different from this way, given all the constraints cannot be a C^n - B^n.