d3=a的情况：
    c8=a,3.1.2 => a2a5a6=a
    d3=a,3.1.1 => a4a6a7=a
    面A => a6=a
    a6=a,3.1.1 => b4b6b7=a
    c8=a,3.1.2 => b3b4b7=a
    面B => b4b7=a
    下面我们分b4=a,b7=a这两种情况进行讨论。
    b4=a的情况：
      b4=a,3.2.3 => e1e4e8=a
      c8=a,3.1.1 => e4e6e7=a
      面E => e4=a
      e4=a,3.2.3 => f2f3f6=a
      c8=a,3.1.3 => f2f4f5f7=a
      面F => f2=a
      a6c8d3形成顶点ACD的大圈数
      b4e4f2形成顶点BEF的小圈数
      顶点ACD与顶点BEF互为对顶点。
    b7=a的情况：
      b7=a,3.2.1 => e2e7=a
      c8=a,3.1.1 => e4e6e7=a
      面E => e7=a
      e7=a,3.2.1 => f4f5=a
      a6=a,3.1.2 => f2f4f8=a
      面F => f4=a
      a6c8d3形成顶点ACD的大圈数
      b7e7f4形成顶点BEF的小圈数
      顶点ACD与顶点BEF互为对顶点。
  综合以上4种情况可得技巧4.1.1，技巧4.3.1
  同理可得，技巧4.1.2，技巧4.3.2

4.2 任一顶点的大圈数有且只有一个，任一顶点的小圈数有且只有一个。
  4.2.1 任一顶点的大圈数有且只有一个。
  4.2.2 任一顶点的小圈数有且只有一个。

证明：

  任取一顶点，假设其没有大圈数，不妨设为顶点ACD。
  设a6=a,c1=b,a<>b
  则数字a和b都没有形成顶点ACD的大圈数
  据4.1.1，数字a必有大圈数，
    顶点ACD不能使a成为大圈数
    则a只能成为顶点ABF的大圈数，对应的大圈为a6b6f8
    则 b6=a
  据4.1.1，数字b必有大圈数，
    顶点ACD不能使b成为大圈数
    则b只能成为顶点BCE的大圈数，对应的大圈为c1b6e3
    则 b6=b
  两者矛盾。则a，b至少形成一个顶点ACD的大圈数
    则8个顶点至少形成8个大圈数
  据4.1.1，每个数字都能且只能形成一个大圈数
    则8个数字共能形成8个大圈数
  综合以上，可以得出每个顶点有且仅有一个大圈数。
  4.2.1证毕。
  同理可证4.2.2.