Riyaziyatta, bir formula adetince eñ müimlerniñ riyaziy teorema olmasınen birlikte olğan bir riyaziy ifadeni digerine musaviylegen tıpqılıqqa aittir.