Vea la notación de van der Waerden para más detalle.