Aronszajn–Smith theorem