They showed that with their first translation. The second, more literal, translation is to demonstrate the pun.