Lower Bound for the T Count Via Unitary Stabilizer NullityRemoveJiaqing Jiang and Xin WangPhys. Rev. Applied 19, 034052 (2023)