Proved ST0 in hardest case