Off-diagonal long-range order implies vanishing charge gapRemoveHal Tasaki and Haruki WatanabePhys. Rev. B 104, L180501 (2021)