Pembuktian,
Pembuktian pertama dengan lingkaran yang diameternya di bawah 7, sedang pembuktian kedua dengan lingkaran yang diameternya di atas 7.
Pembuktian pertama dengan lingkaran yang diameternya di bawah 7, sedang pembuktian kedua dengan lingkaran yang diameternya di atas 7.