suc-max-{left|right} proved