Harry found three pairs that work:
(A, B) = (4, 4), (5, 6) and (6, 5),
but he wasn't able to prove that no others exist.
I don't have a full explanation for this, but I believe that there must be a closure to this puzzle after more than 6 years.
To effect the foregoing, I am reopening this puzzle to all members to come up with an analytic/ computer assisted methodology proving that these three are indeed the only valid pairs in conformity with the given conditions.
Edited on January 1, 2023, 6:57 am