We have to show that all other candidates would also be excluded (for lack of the relevant rules in the non-recursive part).
if it were the recursion in by construction step (20c,d) (only violation-free recursion is possible).