1D SPT Proof in mps_tools