`+)`Trong toán học, định lý là một mệnh đề phi hiển nhiên đã được chứng minh là đúng, hoặc trên cơ sở dẫn xuất từ các tiên đề hoặc được chứng minh trên cơ sở lấy từ từ các định lý khác
`+)`Đẳng thức trình bày mối liên hệ giữa một số đại lượng
`⇒` Định lý có giống với hệ thức không hề giống nhau