The positive mass theorem in Kaluza–Klein picture Tetsuya Shiromizu and Diego Soligon Eur. Phys. J. Plus, 137 9 (2022) 1037 Published online: 10 September 2022 DOI: 10.1140/epjp/s13360-022-03245-x