update README
prove ETA_AX consistent