“A horse walks into a bar and says, ‘On a right-angled triangle with side X, Y, and Z…’” (bar joke)
"A guy walks into a bar..." is a typical form of what has been called the "bar joke." A Pythagorean theorem version is: "Pythagoras walks into a bar and says, 'Which…