This is a statement about Repunits from this paper.
How can I write this as an if/then statement?
Knowledge about Repunits isn't required. The question is basically: what does "although it is necessary for $a$ to be prime in order for $b$ to be prime" mean?
I think it means: if $b$ is prime then $a$ is prime.