確かに。
それと、｢これらはmod pで0,1,…,p-1をつくす。｣は有限集合上単射・全射・全単射が一致することも使ってるな