Moore-Aronszajn theorem