"first proof by"@en . .