The development of the principal genus theorem