Hi John. Thanks for the post. May I translate it into Chinese(Traditional) and post it on my blog(https://blog.birkhoff.me)? I will let my readers know the original author is you.