w matematyce twierdzenie, którego głównym zastosowaniem jest uproszczenie dowodów innych, bardziej istotnych twierdzeń

w matematyce twierdzenie, którego głównym zastosowaniem jest uproszczenie dowodów innych, bardziej istotnych twierdzeń.