Existence and approximation theorem