[math-fun] antiprism oddity