This has already been proved in Section 4.
We put b in R unless a is already in.
Go to List of words starting with: A B C D E F G H I J K L M N O P Q R S T U V W Y Z