a(n) = Min{x, odd : A051953[ a(n-1) ]=a(n)}; a(1)=1; a(2)=3, least odd prime; a(n) = Min[ Select[ Range[ a, b ], Equal[ #-EulerPhi[ # ], a(n-1) ]& ] ].
EXAMPLE
a(5)=45, cototient(45) = 45 - Phi(45) = 45 - 24 = 21 = a(4). This iteration with even numbers might stop, like {1,2,4,6,10} does if the last computed number has no inverse cototient, like 10 which is a non-cototient number.