Spherical models of terrestrial and celestial systems made by Greek scientist Proclos (Grc. Próklos, I c. A.D.)