。）有些琐碎但不太难的是证明这两种旋转的行为正如formula_6中"a"和"b"两个元素的行为一样，这里就略去。由"A"和"B"所生成的这个旋转群命名为H。当然，我们可以按照第一步所述方法对H进行分割。第三步，单位球面"S"可被群H中的操作分成一些轨道：两个点属于同一个轨道当且仅当H中某个旋转将第一个点移到第二个。我们可以利用选择公理在每个轨道中选出来一个点。将这些点合起来组成集合"M"。现在"S"中(几乎)所有点都可以通过H中合适的元素相应的转动移到"M"中。因此，H的分割也就可以应用到"S"上面去