Quote Originally Posted by Scorpio
Isn't "Петя" itself diminutive from "Петр"??
Of course it is.