Schottky's_theorem loading ...