Source history
Original source: arXiv:0901.3602v3
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000063:pdf:698cbef66873b6a084e5cc61403e2c215290edd5b71d4937c875b91658a1352e:page:36:bbox:88.203,599.618,523.739,610.528",
"first_source_version": "0901.3602v3",
"chapter": "work-w000063",
"work": "W000063",
"kind": "Proof",
"number": "",
"title": "Proof. It is clear that (1) implies (2). To show that (2) implies (1), use downward induction",
"source_version": "0901.3602v3",
"source": {
"pdf_sha256": "698cbef66873b6a084e5cc61403e2c215290edd5b71d4937c875b91658a1352e",
"page": 36,
"bbox": [
88.203,
599.618,
523.739,
610.528
]
},
"target": "/chapters/work-w000063.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}