Title: Note on the AKS sorting network (expository note)