"see also":psl(2,7):ファノ平面の自己同型群