Układ twierdzeń zamknięty