Kopernici sats var dock sådan,