I have a friend who was in grad school and found an "...and so it follows" proof that was in standard textbooks dating back decades. To this day he can't find

I have a friend who was in grad school and found an "...and so it follows" proof that was in standard textbooks dating back decades. To this day he can't find anyone to fill in the remainder of the proof to get the result.