The positive mass theorem in Kaluza–Klein pictureTetsuya Shiromizu and Diego SoligonEur. Phys. J. Plus, 137 9 (2022) 1037DOI: https://doi.org/10.1140/epjp/s13360-022-03245-x