Lý thuyết phương trình tích