Auxiliary polynomial