Add Hajek's first proof