{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nIf $G$ is a finite connected planar graph, then a circle packing in the plane whose tangency graph is isomorphic to $G$ exists. If $G$ has a fixed planar embedding, the circle packing can be chosen so that the cyclic order of tangencies around each circle corresponds to the order of edges around each vertex in the embedding. If $G$ is maximal planar, this packing is unique, up to reflections in lines and [[Möbius transformations|0B346DDAM5]].\n",
  "commit": "68a8c3dc73fd55004b2796431c607c30960d1a85",
  "front": {
    "inventory": [
      "Y1W9WYWMQD"
    ],
    "kind": "statement",
    "name": "Koebe–Andreev–Thurston circle packing theorem",
    "role": "theorem",
    "sources": [
      {
        "locator": "Circle packing theorem, section Theorem statement and proofs",
        "mention": "wikipedia://en/16648043#8YFQ",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:16648043@r1375504925"
      }
    ],
    "tag": "NNZV4614R1"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/NNZV4614R1/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/NNZV4614R1.md",
  "msc": null,
  "name": "Koebe–Andreev–Thurston circle packing theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/NNZ/NNZV4614R1.md",
  "status": null,
  "tag": "NNZV4614R1",
  "uri": "m2://NNZV4614R1",
  "url": "https://math2.tamnd.com/wiki/koebe-andreev-thurston-circle-packing-theorem/",
  "writing": {
    "tag": "NNZV4614R1",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}