Revisado: reconocimientos a predecesores, referencias cruzadas fortalecidas, marco de auto-consistencia.
Pei-Yuan Ju (Sat,) estudió esta cuestión.