Enriques–Babbage_theorem loading ...