This page has moved to /blog/2019/01/16/isometry/.