Gabriel–Rosenberg_reconstruction_theorem loading ...