theorem numbering done right
various definitions of cpos, proof that they are equivalent
some citations
fix cpo equivalence proof