schinzels theorem