对以下定理进行了证明：设G是一个2-（v，9，1）设计的可解区传递但非旗传递的自同构群，且G是点一本原，则v=p^n，G≤APL（1，p^n）．特别地，p≠2且p^n=1（mod......