Ich habe mal versucht das über Restklassen zu machen, in der Hoffnung, dass 1000n+1 durch etwas teilbar ist, durch das 2020n-1nicht teilbar ist. Für ungerade n funktioniert das auch (mod 13), aber für gerade wird es dann schon schwieriger, bzw. es geht für gerade n die nicht durch 4 teilbar sind (mod 101), aber eben für durch 4 teilbare n nicht... So ist das fürchte ich nicht richtig zielführend. Es müsste denke ich irgendeinen anderen Ansatz als Restklassen dafür geben. Da habe ich allerdings auch noch keine rechte Idee...