Et er i logikk og matematikk et resultat som følger nokså umiddelbart fra et større teorem, uten omfattende bevis.