1d spt proof in mps_tools