Trạng thái của cộng đồng

Xin hỏi các pro-er. Kì thi HSG các cấp hoặc VMO thì những định lý nào cần chứng mình, định lý nào ko cần chứng minh. Tương tự với bổ đề, nguyên lý, ....