42 pages <insert scared emoji>.

in all seriousness it is always amazing to see simple theorems rely on such complex proofs