所与：G2(6) G3(9) H3(8) E:GG,HHゆえにH2H3::E2(7)、またG2G3:E3(10) D:GHゆえにG3H3::D3(11) C:EH,DEゆえにD3E1::C1(10) next; A B C D E F G H E3 10 D3 11 E2 7 G3 9 H3 8 C1 10 D2 8 E1 4 G2 6 H2 5 D1 3 G1 3 H1 2

所与：G1(3) H1(2) H2(5) E:GG,HHゆえにH1H2::E1(4) D:GHゆえにG1H1::D1(3)、またG1H2::D2(8) C:EH,DEゆえにE1H1::C1(10) next; Dを用いてD1H2::G2(6)、またD2H2::G3(9)、D2G1::H3(10) これらから、E: G1G2::E2(7) G2G3::E3(10) D: G3H3::D3(11) C: D3E3::C2…