Por ejemplo: el resultado de un factorial es siempre un entero mayor o igual que 1.