Unmöglichkeitsbeweise mit Resten

Sperrende Module wählen und Gleichungen durch Restwidersprüche ausschließen.