The proof might be somewhat lengthy, but it is quite rigorous.