ELIASHBERG'S PROOF OF CERF'S THEOREM