Add Hajek's second proof