Copernicus's Model for an Inferior Planet