... những các chứng minh đẹp đẽ nhất trong toán học. Mỗi khi Erdos muốn miêu tả một cách chứng minh độc đáo, ông đều nói "Cách chứng minh ấy nằm trong cuốn sách này đó". Ngược lại, các ... mà gọi là các chứng minh khó coi hay thô kệch. Ví dụ những cách chứng minh phụ thuộc vào việc giới hạn các trường hợp riêng biệt, như phương pháp vét cạn được sử dụng trong chứng minh Định ... sách này đó". Ngược lại, các kết quả từ suy luận lôgic, chứa các bước tính tỉ mỉ, không được xếp vào hàng các cách chứng minh thanh nhã, ...