Teorija enačb