Aquí el ultimo análisis
Tenemos $$a=3$$ y $$b$$ un primo que lo escribo como una sucesión arbitraria de cifras $$ABCDEF$$ puede ser cualquier cantidad de cifras pero con esa cantidad es suficiente para lo que quiero mostrar.
Sabemos
$$a=3$$ primo
$$2a-1=5$$ primo
$$b$$ es primo entonces $$F$$ es uno de estos valores $$1,3,7,9$$ pero si $$F= 3\quad \to \quad 2F-1=5$$ con lo que $$2b-1$$ no sería primo , asi que $$F\in(1,7,9)$$
entonces $$ab=3ABCDEF$$ y $$ba= ABCDEF3$$
como se tiene que cumplir la condición 6
$$2\cdot ab-1=ba$$ por lo que comparando cifra a cifra tenemos
tenemos que $$2F-1=3$$ luego tenemos que o $$F=2$$ o $$F=7\in (1,7,9) $$
si $$F= 2$$ entonces $$b$$ es par y no es primo, entonces solo puede suceder que $$F=7$$
tenemos entonces $$2\cdot 3ABCDE7-1= ABCDE73$$ como $$2\cdot F >9$$ hay acarreo luego
$$2E+1=7$$ entonces es $$E=3$$ o $$E=8$$
- si $$E=3$$ entonces $$2E<10$$ no hay acarreo y se cumple $$2\cdot 3ABCD37-1= ABCD373$$ luego debe suceder que $$2D+0=3$$ lo cual es imposible para una cifra $$D$$ entera.
- y si $$E=8$$ entonces $$2E>9$$ hay acarreo y se cumple $$2\cdot 3ABCD87-1= ABCD873$$ luego debe suceder que $$2D+1=8$$ lo cual es imposible para una cifra $$D$$ entera.
Conclusión no hay ningún $$b$$ de mas de dos cifras que cumpla la condición 6 cuando $$a=3$$ que era el caso faltante a explorar.
Solo queda explorar a mano pocos casos, números primos $$b$$ de 2 o menos cifras, y solo cumple el $$7$$, por lo tanto el par (3,7) es único.... cqd.
La conjetura esta demostrada como verdadera.
Saludos