Moore–Aronszajn theorem