设H是有限群G的子群, K/L是G的任一非Frattini主因子.如果对每一满足L≤A＜B≤K且A是B的极大子群的子群对（A,B）,都有HA=HB或者H∩A=H∩......