Ett ytterligare bevis för att gropsystemet icke äraf