من الذي قام بتصحيح نظرية بطليموس