kleineres Problempolynom gefunden