重新发明问题和定理