normal:#1 Vir
所与: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(13)
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(13)
A | B | C | D | E | F | G | H | |
---|---|---|---|---|---|---|---|---|
C1 10 | D2 8 | E1 4 | H2 5 | |||||
D1 3 | G1 3 | H1 2 |