תוספות על סנהדרין יח.

והא דתנן כהן גדול בתר פ"ק משום דאיידי דתניא בפ"ק מילי דכ"ג פסיק ושיירי ליה והדר תני ליה מעלות של מלך דחשיב מיניה ואחר כך חוזר לעניינו להלכות דינין: