Et (flertall eller ) er i matematikk en mindre hjelpesetning som brukes til å bevise et større teorem.