I double-checked and it looks like you're right, that the Theory papers where I thought the proof took first-author are actually alphabetical.