Ett nytt bidrag till bewisenom