9.1.7 互素组