Denna sin sats sökte Gabel och Knuth at bewisa genomStSthällaren