Infinite Systems of linear congruences with infinitely many variables. - Bohr, Harald (Det Kgl.Danske Videnskab.Selskab.Mat.-fys.meddelelser, 1948)