Question
Does `gng^-1 = n_1` imply `bb 1.` ?
Close the window and click for the next page...
Close the window and try once more...