Định lý Dirichlet sẽ chỉ được sử dụng không chứng minh khi dự thi IMO. Còn các kỳ thi khác thì đều không được sử dụng khi không chứng minh lại.
Hình như mấy kì thi khác mình đọc thì định lí Dirichlet được thay tên bằng định lí Pigeonhole nội dung tương tự được sử dụng không chứng minh